COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	multiv[e81,jmc]		Multiple valued functions in LISP
C00005 ENDMK
C⊗;
multiv[e81,jmc]		Multiple valued functions in LISP
multi[e81,jmc]		Proposals for multi-processing in S-1 LISP		World War II.
barrel[e81,jmc]		Barrel and slot simulated multi-processor
surviv[e81,jmc]		SURVIVAL AFTER NUCLEAR ATTACK ON THE UNITED STATES
meta.rms[e81,jmc]	Stallman's META paper, Sept 14
meta[e81,jmc]		Comments on Stallman's META paper
advice[e81,jmc]		Advice to Earthmen
equip.mem[e81,jmc]	SOME CONSIDERATIONS ON COMPUTER EQUIPMENT
kahn.pr[e81,jmc]	Test of Ken Kahn's "Intermission - actors in Prolog"
apply.ax[e81,jmc]	EKL axioms for apply and eval for making recursive function defs
y.ax[e81,jmc]		EKL axioms for forms of Y combinator
ekl.not[e81,jmc]		Comments on ekl
elepha.sum[e81,jmc]	Summary of Elephant paper for POPL
featur[e81,jmc]		Features of situations
oneway[e81,jmc]		advocating one way space missions
collec.pr[e81,jmc]	prolog program collecting the p(X) into a list
query.pr[e81,jmc]	Queries about prolog
inspir[e81,jmc]		Inspirational lecture to new Stanford students
frpres[e81,jmc]		MARSEILLES SPEECH TO FRENCH UNIVERSITY PRESIDENTS
eval.pr[e81,jmc]	original prolog program for eval
eval2.pr[e81,jmc]	prolog program for eval using cuts to get unique answer
eval3.pr[e81,jmc]	prolog program for eval using no cut but or and friends
examp1.pr[e81,jmc]	examples of prolog programs
cerf.pro[e81,jmc]	draft proposal to Cerf to support verification work
kyoto.pub[e81,jmc]	version of Recursive Programs as First order ...
maps[e81,jmc]		Map coloring and the Kowalski doctrine
maps.pr[e81,jmc]	prolog programs for coloring maps
space[e81,jmc]		Blast for \bboard in favor of space
france[e81,jmc]		Transcription of some notes from French trip
color.ax[e81,jmc]	discussion of axioms for coloring maps
transp.ess[e81,jmc]	Essay on transportation
know[e81,jmc]		Revising Montague's knowledge axioms